Nuprl Definition : es-hist
0,22
postcript
pdf
es-hist{i:l}(
es
;
e1
;
e2
) == map(
e
.es-info(
es
;
e
);[
e1
,
e2
])
latex
clarification:
es-hist{i:l}(
es
;
e1
;
e2
) == map(
e
.es-info(
es
;
e
);es-interval{i:l}(
es
;
e1
;
e2
))
latex
Definitions
map(
f
;
as
)
,
es-info(
es
;
e
)
,
[
e
,
e'
]
FDL editor aliases
es-hist
origin
e.es-info(es;e);[e1, e2])
e.es-info(es;e);es-interval{i:l}(es; e1; e2)) e.es-info(es;e);[e1, e2])
e.es-info(es;e);es-interval{i:l}(es; e1; e2))